Dependabot will periodically check the versions of all actions used in the repository's workflows. If any are found to
be outdated, it will submit a pull request to update them.
NOTE: Dependabot's PRs will sometimes try to pin to the patch version of the action (e.g., updating `uses: foo/bar@v1`
to `uses: foo/[email protected]`). When the action author has provided a major version ref, use that instead
(e.g., `uses: foo/bar@v2`). Dependabot will automatically close its PR once the workflow has been updated.
More information:
https://docs.github.com/en/github/administering-a-repository/keeping-your-actions-up-to-date-with-dependabot

The recent 2.0.0 release of the codespell tool used by the "Spell Check" CI workflow added support for configuring the
tool via a configuration file. Use of this file allows the spell check to easily be run by contributors locally with the
identical configuration as will be done in the CI. It replaces extras/codespell-ignore-words-list.txt.

Since the time the original badges were added, GitHub added support for referencing the workflows via file name in
addition to the previous approach of using the `name` value. This links to the specific workflow's runs, rather than a
search for the name which might return multiple results. It is also more lightweight in terms of syntax.

The workflow_dispatch and repository_dispatch events allow manual triggering of the workflow. These can be useful when
doing development and maintenance on the CI system, and do no harm when they are not needed, so it makes sense to add
them.

Previously, due to the lack of a release, the development versions of the sketch compilation actions were used. Using
release versions provides a more stable CI system for the ArduinoCore-mbed project.

Use of the major version ref will cause the workflow to benefit from ongoing development to the actions up until such
time as a new major release of an action is made, at which time we would need to evaluate whether any changes to the
workflow are required by the breaking change that triggered the major release before updating the major ref
(e.g., uses: 	`arduino/compile-sketches@v2`).

…le not found

This event would indicate that the workflow was misconfigured. So it's a valuable notification.

The library.properties metadata file can have an impact on compilation, so the CI workflow should run when it's changed
in order to assist in validation of those changes.

On every push, pull request, and periodically, run Arduino Lint to check for common problems not related to the project
code.